FaCT and DLP
نویسندگان
چکیده
FaCT: The tests were performed using FaCT version 1.2. FaCT is a description logic classifier whose description language is a superset of K4(m) and whose subsumption reasoning uses a sound and complete tableaux algorithm. FaCT employs a wide range of optimisations, in particular a form of dependency directed backtracking called backjumping which can significantly reduce the size of the search space [5]. The FaCT algorithm does not support KT and S4 explicitly, but FaCT includes a preprocessing and encoding optimisation which is also able to apply the standard embedding of KT and S4 in K and K4 respectively: the time taken for preprocessing and embedding is included in the results. Programming language: Common Lisp (compiled).
منابع مشابه
DLP and FaCT
DLP [Patel-Schneider(1998)] and FaCT [Horrocks(1998)] are two recent description logic systems that contain sound and complete reasoners for expressive description logics. Due to the equivalences between expressive description logics and propositional modal logics, both DLP and FaCT can be used as satisfiability checkers for propositional modal logics. FaCT is a full-featured system that contai...
متن کاملPerformance of DLP on Random Modal Formulae
A system that correctly reasons with information in an expressive description logic includes a decision procedure for an expressive propositional modal logic. This decision procedure must be heavily optimised if it is to be able to usefully reason with knowledge bases of any complexity. Description logic systems that incorporate a heavily-optimised propositional modal logic decision procedure i...
متن کاملDefensin-like peptide-2 from platypus venom: member of a class of peptides with a distinct structural fold.
The venom of the male Australian duck-billed platypus contains a family of four polypeptides of appox. 5 kDa, which are referred to as defensin-like peptides (DLPs). They are unique in that their amino acid sequences have no significant similarities to those of any known peptides; however, the tertiary structure of one of them, DLP-1, has recently been shown to be similar to beta-defensin-12 an...
متن کاملEffects of Different Levels of Dried Lemon (Citrus aurantifulia) Pulpon Performance, Carcass Traits, Blood Biochemical and Immunity Parameters of Broilers
This experiment was conducted to evaluate the effects of different levels of dried lemon pulp (DLP) on performance, carcass traits, blood biochemical and immunity parameters of broilers. In this experiment 240 of broilers (Ross-308) were used in a completely randomized design with 4 treatments and 3 replicates (with 20 birds in each replicate) from 1 to 42 days. Experimental diets included: 1) ...
متن کاملCryptanalysis of the Cryptosystem Based on DLP γ = α a β b
A critique of the proposed encryption scheme based on the DLP γ = αβ is provided. It is described how a plaintext can be obtained from a valid ciphertext by computing a single traditional discrete logarithm in a cyclic group. Furthermore, it is shown that the proposed encryption scheme is in fact equivalent to the ElGamal encryption scheme.
متن کاملAblation of the single dynamin of T. brucei blocks mitochondrial fission and endocytosis and leads to a precise cytokinesis arrest.
Mitochondrial fission is mediated by dynamin-like proteins (DLPs). Trypanosoma brucei contains a single DLP, which is the only member of the dynamin superfamily. We have previously shown that expression of the human proapoptotic Bax in T. brucei induces extensive mitochondrial fragmentation. Here we report that Baxinduced mitochondrial fission is abolished in cell lines lacking functional DLP s...
متن کامل